xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems

Employing Modeling and Simulation (M&S) extensively to analyze develop complex systems is the norm today. The use of robust M&S formalisms rigorous methodologies essential deal with complexity. Among them, Discrete Event System Specification (DEVS) provides a solid framework for modeling structural, behavior information aspects any system. This gives several advantages design systems: completeness, verifiability, extensibility, maintainability. DEVS formalism has been implemented in many programming languages executable on multiple platforms. In this paper, we describe features an called xDEVS that builds upon prevalent Application Programming Interface (API) both simulation layers, promoting interoperability between existing platform-specific (C++, Java, Python) implementations. Additionally, can simulate same model using sequential, parallel, or distributed architectures. engine reinforced strategies improve performance, as well tools perform analysis verification. Finally, also facilitates engineers apply vision model-based engineering (MBSE), model-driven (MDE), (MDSE) paradigms. We highlight proposed examples case studies illustrating rigor diversity application domains it support.